$\forall$$p$:Prop, $d$:Dec($p$). dectt($d$) $\Leftrightarrow$ $p$